Diclib.com
Словарь ChatGPT

Поиск в словаре Индивидуальные решения

Введите слово или словосочетание на любом языке 👆

Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

как употребляется слово
частота употребления
используется оно чаще в устной или письменной речи
варианты перевода слова
примеры употребления (несколько фраз с переводом)
этимология

decidable proposition - перевод на русский

WIKIMEDIA DISAMBIGUATION PAGE

Decidable (disambiguation); Decidable; Decidability (disambiguation)

Найдено результатов: 111

decidable proposition

математика

разрешимое утверждение

decidability

общая лексика

разрешимость

Смотрите также

complete decidability; decidability problem; degree of decidability; effective decidability; formal decidability; general decidability; linear decidability; partial decidability; probabilistic decidability

decidable

[di'saidəbl]

общая лексика

разрешимый

прилагательное

общая лексика

разрешимый

logical proposition

NON-LINGUISTIC MEANING OF A SENTENCE

Proposition (logic); Propositions; Logical proposition; Propositional; Propositioning; Propositioned; Propositioner; Propositioners; Claim (logic); Proposition (philosophy); Proposition (grammar); Proposal (logic and philosophy); Structured proposition; Structured propositions; Singular proposition; Singular propositions; Russellian proposition; Russellian propositions; General proposition; General propositions; Particularized proposition; Particularised proposition; Particularized propositions; Particularised propositions; Proposition (Grammar)

математика

логическое высказывание

singular proposition

NON-LINGUISTIC MEANING OF A SENTENCE

Proposition (logic); Propositions; Logical proposition; Propositional; Propositioning; Propositioned; Propositioner; Propositioners; Claim (logic); Proposition (philosophy); Proposition (grammar); Proposal (logic and philosophy); Structured proposition; Structured propositions; Singular proposition; Singular propositions; Russellian proposition; Russellian propositions; General proposition; General propositions; Particularized proposition; Particularised proposition; Particularized propositions; Particularised propositions; Proposition (Grammar)

[лог.] единичное предложение /суждение/

selling point

INDIVIDUAL CLAIM THAT DIFFERENTIATES A PRODUCT OR SERVICE

Unique Selling Proposition; Unique selling point; UVP; Unique value proposition; USP (marketing); Selling point; Unique Selling Point

точка, указывающая экономическую целесообразность продажи изделия (на диаграмме)

essentially undecidable

PROPERTY OF THEORIES THAT HAVE COMPUTABLE MEMBERSHIP

Semidecidable; Decidability (Logic); Semidecidability; Essentially undecidable; Decidability (computer science); Decidable (logic); Semi-decidability

математика

существенно неразрешимый

singular proposition

NON-LINGUISTIC MEANING OF A SENTENCE

Proposition (logic); Propositions; Logical proposition; Propositional; Propositioning; Propositioned; Propositioner; Propositioners; Claim (logic); Proposition (philosophy); Proposition (grammar); Proposal (logic and philosophy); Structured proposition; Structured propositions; Singular proposition; Singular propositions; Russellian proposition; Russellian propositions; General proposition; General propositions; Particularized proposition; Particularised proposition; Particularized propositions; Particularised propositions; Proposition (Grammar)

общая лексика

единичное суждение

proposition

NON-LINGUISTIC MEANING OF A SENTENCE

Proposition (logic); Propositions; Logical proposition; Propositional; Propositioning; Propositioned; Propositioner; Propositioners; Claim (logic); Proposition (philosophy); Proposition (grammar); Proposal (logic and philosophy); Structured proposition; Structured propositions; Singular proposition; Singular propositions; Russellian proposition; Russellian propositions; General proposition; General propositions; Particularized proposition; Particularised proposition; Particularized propositions; Particularised propositions; Proposition (Grammar)

[prɔpə'ziʃ(ə)n]

общая лексика

утверждение, высказывание

теорема

предложение

высказывание

пропозициональный

суждение

Смотрите также

affirmative proposition; apodyctic proposition; atomic proposition; axiomatic proposition; biconditional proposition; categorical proposition; compound proposition; constant proposition; contradictory proposition; converse proposition; decidable proposition; elementary proposition; eliminated proposition; empirical proposition; equivalent proposition; false proposition; fuzzy proposition; general proposition; generic proposition; impossible proposition; induction proposition; inverse proposition; logical proposition; molecular proposition; necessary proposition; particular proposition; preliminary proposition; real proposition; semidecidable proposition; simple proposition; singular proposition; specializing proposition; theoretical proposition; true proposition; undecidable proposition; universal proposition; unproved proposition; valid proposition; variable proposition

существительное

[prɔpə'ziʃ(ə)n]

общая лексика

утверждение

заявление

предложение (особ. деловое)

план

проект

гнусное предложение (женщине)

предложение

план, проект

утверждение, заявление

разговорное выражение

предприятие

дело

занятие

проблема

человек

с которым ведутся дела

математика

теорема

положение или утверждение

требующее доказательств

логика

суждение

собирательное выражение

дело, проблема

глагол

общая лексика

предлагать

сделать гнусное предложение (женщине)

разговорное выражение

предложить (план, сделку и т. п.)

general proposition

NON-LINGUISTIC MEANING OF A SENTENCE

Proposition (logic); Propositions; Logical proposition; Propositional; Propositioning; Propositioned; Propositioner; Propositioners; Claim (logic); Proposition (philosophy); Proposition (grammar); Proposal (logic and philosophy); Structured proposition; Structured propositions; Singular proposition; Singular propositions; Russellian proposition; Russellian propositions; General proposition; General propositions; Particularized proposition; Particularised proposition; Particularized propositions; Particularised propositions; Proposition (Grammar)

математика

общее предложение

Определение

decidability

<mathematics> A property of sets for which one can determine whether something is a member or not in a finite number of computational steps. Decidability is an important concept in {computability theory}. A set (e.g. "all numbers with a 5 in them") is said to be "decidable" if I can write a program (usually for a Turing Machine) to determine whether a number is in the set and the program will always terminate with an answer YES or NO after a finite number of steps. Most sets you can describe easily are decidable, but there are infinitely many sets so most sets are undecidable, assuming any finite limit on the size (number of instructions or number of states) of our programs. I.e. how ever big you allow your program to be there will always be sets which need a bigger program to decide membership. One example of an undecidable set comes from the {halting problem}. It turns out that you can encode every program as a number: encode every symbol in the program as a number (001, 002, ...) and then string all the symbol codes together. Then you can create an undecidable set by defining it as the set of all numbers that represent a program that terminates in a finite number of steps. A set can also be "semi-decidable" - there is an algorithm that is guaranteed to return YES if the number is in the set, but if the number is not in the set, it may either return NO or run for ever. The halting problem's set described above is semi-decidable. You decode the given number and run the resulting program. If it terminates the answer is YES. If it never terminates, then neither will the decision algorithm. (1995-01-13)

Показать больше определений

Википедия

Decidability

The word decidable may refer to:

Decidable language
Decidability (logic) for the equivalent in mathematical logic
Decidable problem and Undecidable problem
Gödel's incompleteness theorem, a theorem on the undecidability of languages consisting of "true statements" in mathematical logic.
Recursive set, a "decidable set" in recursion theory

https://en.wikipedia.org/wiki/Decidability

Как переводится decidable proposition на Русский язык